17

Symbolic techniques for formally verifying industrial systems

Year:
1997
Language:
english
File:
PDF, 1.49 MB
english, 1997
19

Preface

Year:
2007
Language:
english
File:
PDF, 99 KB
english, 2007
41

Messaging capabilities of V2I networks

Year:
2018
Language:
english
File:
PDF, 1.48 MB
english, 2018